551 Documenta Math. On Triangulated Orbit Categories Dedicated to Claus Michael Ringel

Source URL: documenta.sagemath.org

• Homological algebra
• Category theory
• Triangulated category
• Derived category
• Adjoint functors
• Functor
• Sheaf
• Universal property
• T-structure
• Limit
• Hom functor
• Equivalence of categories

On Delineability of Varieties in CAD-Based Q E S. McCallum (Macquarie University) and C. W. Brown (US Naval Academy) A key notion in the algorithmic theory of CADs is delineability: roughly speaking, the real variety of

Source URL: issac2009.kias.re.kr

• Algebraic curve
• Multivariable calculus
• Surfaces
• Operator theory
• Algebraic number field
• Adjoint functors

699 Documenta Math. Thom Spectra that Are Symmetric Spectra

Source URL: www.math.uiuc.edu

• Homotopy theory
• Spectrum
• Model category
• Homotopy
• Thom space
• Fibration
• Adjoint functors
• Classifying space
• Functor
• Stable homotopy theory
• Highly structured ring spectrum
• Homotopy category

Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding

Source URL: www.paultaylor.eu

• Category theory
• Functional programming
• Algebras
• Boolean algebra
• F-algebra
• Functor
• Algebraic structure
• Ordinal number
• F-coalgebra
• Adjoint functors
• Constructible universe
• Free algebra

Submission for IFLFlipping Fold, Reformulating Reduction An Exercise in Categorical Design Gershom Bazerman S&P/CapitalIQ

Source URL: gbaz.github.io

• Software engineering
• Computer programming
• Category theory
• Algebra
• Functional programming
• Higher-order functions
• Programming language comparisons
• Adjoint functors
• Monad
• Functor
• Fold
• Map

The Abstract Method, In General Gershom Bazerman, S&P/CapitalIQ “It is natural to attend most to the most set-like aspects of toposes, and to imagine them as derived from set theory, and to do this even without thinki

Source URL: gbaz.github.io

• Computer programming
• Software engineering
• Mathematics
• Adjoint functors
• Axiom
• Monad
• Topos
• Theory
• Real number
• Set theory

Chu Spaces Vaughan Pratt Stanford University Notes for the School on Category Theory and Applications University of Coimbra

Source URL: chu.stanford.edu

• Algebraic structures
• Chu space
• Semilattice
• Boolean algebra
• Structure
• Homomorphism
• Partially ordered set
• Lattice
• Adjoint functors
• Binary relation
• Isomorphism
• Dual space

Uniform Interpolation and Compact Congruences Samuel J. van Gool1 , George Metcalfe2 , and Constantine Tsinakis3 1 Department of Mathematics, University of Milan

Source URL: logica.dmi.unisa.it

• Algebra
• Mathematics
• Abstract algebra
• Algebraic logic
• Lattice theory
• Algebraic structures
• Fuzzy logic
• Adjoint functors
• Boolean algebra
• Heyting algebra
• Universal property
• MV-algebra

Backwards Abstract Interpretation of Probabilistic Programs David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France

Source URL: www-verimag.imag.fr

• Operator theory
• Theoretical computer science
• Measure theory
• Mathematics
• Analysis
• Denotational semantics
• Logic in computer science
• Hermitian adjoint
• Support
• Expected value
• Abstract interpretation
• Adjoint functors

ADJOINT FUNCTORS IN GRAPH THEORY JAN FONIOK AND CLAUDE TARDIF Abstract. We survey some uses of adjoint functors in graph theory pertaining to colourings, complexity reductions, multiplicativity, circular colourings and t

Source URL: iti.mff.cuni.cz